liewecmays; "様相論理: 可能世界意味論(命題論理)"
https://liewecmays.net/articles/modal-logic_possible-world-semantics_propositional
liewecmays